kw.\*:("Colored Petri net")
Results 1 to 25 of 349
Selection :
Siphons, traps and high-level nets with infinite color domainsSCHMIDT, K.Lecture notes in computer science. 1997, pp 271-289, issn 0302-9743, isbn 3-540-63139-9Conference Paper
Incremental state space construction for coloured petri netsLEWIS, Glenn; LAKOS, Charles.Lecture notes in computer science. 2001, pp 263-282, issn 0302-9743, isbn 3-540-42252-8Conference Paper
Regular event structures and finite Petri nets: The conflict-free caseNIELSEN, Mogens; THIAGARAJAN, P. S.Lecture notes in computer science. 2002, pp 335-351, issn 0302-9743, isbn 3-540-43787-8, 17 p.Conference Paper
CPN/Tools: A Post-WIMP interface for editing and simulating coloured petri netsBEAUDOUIN-LAFON, Michel; MACKAY, Wendy E; RAVN, Katrine et al.Lecture notes in computer science. 2001, pp 71-80, issn 0302-9743, isbn 3-540-42252-8Conference Paper
Extended colored Petri net: an efficient tool for analyzing concurrent systemsDAS, S. K; DILIP SARKAR; AGRAWAL, V. K et al.Information sciences. 1990, Vol 54, Num 3, pp 191-218, issn 0020-0255, 28 p.Article
Qualitative model based verification of operating procedures by high level Petri netsGERZSON, M; CSAKI, Z; HANGOS, K. M et al.Computers & chemical engineering. 1994, Vol 18, pp S565-S569, issn 0098-1354, SUPConference Paper
Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-NetDONG YU; FRINCKE, Deborah.Computer networks (1999). 2007, Vol 51, Num 3, pp 632-654, issn 1389-1286, 23 p.Article
Modelling and verification of hybrid systems using hierarchical coloured petri netsGENRICH, H. J; SCHUART, I.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 17-24Conference Paper
Coordinating functional processes using Petri netsASSMANN, C.Lecture notes in computer science. 1997, pp 162-183, issn 0302-9743, isbn 3-540-63237-9Conference Paper
On proving large distributed systems: Petri net modules verificationLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 70-75, issn 0302-9743, isbn 3-540-63371-5Conference Paper
Modelling of features and feature interactions in Nokia mobile phones using Coloured Petri netsLORENTSEN, Louise; TUOVINEN, Antti-Pekka; JIANLI XU et al.Lecture notes in computer science. 2002, pp 294-313, issn 0302-9743, isbn 3-540-43787-8, 20 p.Conference Paper
Haskell-coloured Petri NetsREINKE, C.Lecture notes in computer science. 2000, pp 165-180, issn 0302-9743, isbn 3-540-67864-6Conference Paper
Colored cause-effect structuresUSTIMENKO, A. P.Information processing letters. 1998, Vol 68, Num 5, pp 219-225, issn 0020-0190Article
Specification composition for the verification of message passing program compositionCOTRONIS, J. Y; TSIATSOULIS, Z.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 95-106, isbn 0-412-80280-5Conference Paper
Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper
Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation = Modelling of hybrid flexible systems and taking accumulation phenomena into accountCARADEC, M; PRUNET, F.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 86-93Conference Paper
Analysing Bang & Olufsen's BeoLink® audio/video system using Coloured Petri NetsCHRISTENSEN, S; JØRGENSEN, J. B.Lecture notes in computer science. 1997, pp 387-406, issn 0302-9743, isbn 3-540-63139-9Conference Paper
On the abstraction of coloured Petri netsLAKOS, C.Lecture notes in computer science. 1997, pp 42-61, issn 0302-9743, isbn 3-540-63139-9Conference Paper
Dynamic evolution of Z/pZ colored Petri net modelsMARTEAU, S; BOURCERIE, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 48-52, isbn 2-9502908-7-6Conference Paper
Multi-agent-systems Based on coloured Petri netsMOLDT, D; WIENBERG, F.Lecture notes in computer science. 1997, pp 82-101, issn 0302-9743, isbn 3-540-63139-9Conference Paper
Fuzzy time semirings and fuzzy-timing colored Petri netsFUMING WU.International journal of intelligent systems. 1999, Vol 14, Num 8, pp 747-774, issn 0884-8173Article
Agent modelling with Petri NetsPURVIS, M; CRANEFIELD, S.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 602-607, isbn 2-9502908-7-6Conference Paper
Réseaux de petri colorés et réseaux de petri continus : application à l'étude des systèmes à événements discretsAlla, Hassane; Ladet, Pierre.1987, 200 p.Thesis
Petri net theory : Problems solved by Commutative algebraSCHNEIDER, C; WEHLER, J.Lecture notes in computer science. 1999, pp 248-267, issn 0302-9743, isbn 3-540-66132-8Conference Paper
Orthogonal transformations for coloured Petri netsBEST, E; THIELKE, T.Lecture notes in computer science. 1997, pp 447-466, issn 0302-9743, isbn 3-540-63139-9Conference Paper